2024-12-07 Functional Programming in Lean
A Monad Construction Kit - Functional Programming in Lean
Unit型
宇宙多相
#ログ・記録・メモ